1. Abstract machine models for highly parallel computers
المؤلف: edited by John R. Davy and Peter M. Dew
المکتبة: (طهران)
موضوع: Parallel computers , Machine theory
رده :
QA
76
.
58
.
A22
1995
2. Abstract machine models for parallel and distributed computing
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Parallel computers,، Electronic data processing-- Distributed processing,، Machine theory
رده :
QA
76
.
58
.
A27
196
3. Abstract machine models for parallel and distributed computing
المؤلف: edited by M. Kara... ]et al.[
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
A38
1996
4. Applications of process algebra
المؤلف: edited by J.C.M. Baeten
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
رده :
QA
267
.
A67
2004
5. CONCUR'90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : Proceedings
المؤلف: J.C.M. Baeten, J.W. Klop, eds
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
458
6. CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Machine theory-- Congresses,، Parallel processing )Electronic computers(-- Congresses
رده :
QA
267
.
C5927
1990
7. Concurrency theor
المؤلف: / Howard Bowman and Rodolfo Gomez
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Parallel processing (Electronic computers)--Mathematical models,Machine theory.,LOTOS (Computer program language)
رده :
QA
,
76
.
58
,.
B69
,
2006
8. Concurrency theory :calculi and automata for modelling untimed and timed concurrent systems. ]CD[
المؤلف: Bowman, Howard, Howard Bowman and Rodolfo Gomez
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: Mathematical models ، Parallel processing )Electronic computers(,، Machine theory,، LOTOS )Computer program language(
9. Handbook of process algebra
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
H335
2001
10. Handbook of process algebra
المؤلف: edited by J.A. Bergstra, A. Ponse, S.A. Smolka
المکتبة: (طهران)
موضوع: ، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
H266
11. Handbook of process algebra
المؤلف: edited by J.A. Bergstra, A. Ponse, S.A. Smolka
المکتبة: (مازندران)
موضوع: Machine theory,Parallel processing )Electronic computers(
رده :
QA
.
H335
267
2001
12. Process algebra and probabilistic methods
المؤلف: / Holger Hermanns, Roberto Segala, eds
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses,Parallel processing (Electronic computers)--Congresses
رده :
QA
,
267
,.
P362
,
2002
13. Process algebra and probabilistic methods :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory ; Congresses ; Parallel processing (Electronic computers) ; Congresses ;
14. Process algebra and probabilistic methods: performance modeling and verification: joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
267
.
P36
2001
15. Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
المؤلف: Luca de Alfaro, Stephen Gilmore )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2165
16. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
المؤلف: Holger Hermanns, Roberto Segala, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2399
17. Theoretical computer science
المؤلف:
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Combinatorial analysis- Data processing,، Computational complexity,، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
164
.
T45
18. concurrency theory-CONCUR 2007
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Parallel processing (Electronic computers) ; Machine theory. ;
